Expectation-maximization-based channel estimation and signal detection for wireless communications systems

ABSTRACT

A system and method detect symbols of a modulated signal received via a plurality of channels of a wireless communications system. A symbol transmitted via the channels is initially estimated based on the channel estimate from either pilot symbol or previously estimated symbol, and then channel estimate is updated. The next estimate of the symbol is computed by using updated channel information and maximizing the expectation of the log likelihood function. The next estimate is then quantized according to the signal constellation. The quantized estimate of the symbol is compared with the previous estimate of the symbol to determine if the previous estimate of the symbol and the quantized next estimate of the symbol have converged. Otherwise, the quantized next estimate of the symbol is made as the input for the next iteration, and the updating, optimizing, quantizing, and comparing are repeated until the estimate converges.

FIELD OF THE INVENTION

[0001] The invention relates generally to communications systems, and more particularly to channel estimation and signal detection in wireless communications systems.

BACKGROUND OF THE INVENTION

[0002] Orthogonal frequency division multiplexing (OFDM) is a signal modulation technique in which a transmitter divides a signal, and then transmits the divided signal over several subcarriers. The subcarriers are located on a frequency axis at regular intervals. With the OFDM technique, in contrast with conventional serial communication techniques, the transmitted signal is divided into N streams, and the N stream are then transmitted in parallel over N subcarriers, each having a separate carrier frequency. The OFDM technique transmits the signal reliably and efficiently at a high data rate.

[0003] The subcarriers are made “orthogonal” by appropriately selecting the spacing of the frequencies in the frequency band. Therefore, spectral overlapping among subcarriers is allowed because the orthogonality ensures that the receiver can separate the OFDM subcarriers. With OFDM, a better spectral efficiency is achieved than by using a simple frequency division multiplexing technique. OFDM is more robust to data loss due to multipath fading when compared with a single carrier because OFDM has an increased symbol period for the same aggregate data rate.

[0004] In addition, inter-symbol interference (ISI) in OFDM transmissions can be prevented by inserting a guard interval before each transmitted block of symbols. Moreover, OFDM is robust to frequency selective fading because each sub-channel occupies a relatively narrow frequency band, where the characteristic of the channel frequency is relatively flat. Thus, OFDM is used by many communication systems, including digital audio and video broadcasting (DAB, DVB), and high-speed digital subscriber line (DSL) modems over a twisted pair of wires. OFDM can also be used in wireless local area networks (WLANs), and fixed broadband wireless communication networks.

[0005] However, it is not possible to make reliable data decisions in OFDM systems unless a good channel estimate is available. Thus, an efficient and accurate channel estimation method is necessary to coherently demodulate received data. Although differential detection could be used to detect the transmitted signals in the absence of channel information, this would result in about a 3 dB loss in SNR compared to coherent detection.

[0006] A number of channel estimation techniques are known in the prior art. In most of those, the channel estimates are continuously updated by transmitting pilot symbols using specified time-frequency lattices. One class of such pilot assisted estimation processes adopt an interpolation technique with fixed one or two-dimensional parameters to estimate the frequency domain channel impulse response (CIR). Channel estimates are obtained at lattices assigned to the pilot tones, see Jae Kyoung Moon and Song In Choi, “Performance of channel estimation methods for OFDM systems in multipath fading channels,” IEEE Transactions on Consumer Electronics, Vol. 46, No. 1, February 2000, pp. 161-170, P. Hoeher, S. Kaiser, and P. Robertson, “Two-dimensional pilot-symbol-sided channel estimation by Wiener filtering,” Proceedings of 1997 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP-97, vol. 3, pp. 1845-1848, and F. Said and A. H. Aghvami, “Linear two dimensional pilot assisted channel estimation for OFDM systems,” 6^(th) IEEE Conference on Telecommunications, 1998, pp. 32-36. Linear, spline and Gaussian filters can all be used with these methods.

[0007] Another class of methods adopt known channel statistics and channel estimates at pilot symbols to estimate the CIR in the sense of minimum mean square error (MMSE), see Ye Li, Leonard J. Cimini, Jr., and Nelson R. Sollenberger, “Robust channel estimation for OFDM systems with rapid dispersive fading channels,” IEEE Transactions on Communication, Vol. 46, No. 7, July 1998, pp. 902-915, J.-J. van de Beek, O. Edfors, M. Sandell, S. K. Wilson, and P. O. Borjesson, “On channel estimation in OFDM systems,” IEEE Vehicular Technology Conference, 1995, Vol. 2, pp. 815-819, and O. Edfors, M. Sandell, S. K. Wilson, J.-J. van de Beek, and P. O. Borjesson, “OFDM channel estimation by singular value decomposition,” IEEE Transactions on Communications, Vol. 46 No. 7, July 1998, pp. 931-939. Shortcomings of those processes include a large error floor that may be incurred by a mismatch between the estimated and real CIRs, and difficulty in obtaining the correlation function of the channel impulse response.

[0008] Therefore, there is a need for an efficient method for estimating channels so that received symbols can be coherently detected and demodulated.

SUMMARY OF THE INVENTION

[0009] The invention provides an expectation-maximization (EM) based system and method for efficiently estimating channel states and for coherently detecting received symbols via channels of a wireless communications system. A maximum likelihood estimate of the channel impulse response (CIR) is obtained by using the EM-based method to estimate the channel mean and covariance, i.e., the channel statistics. The invention improves signal detection, and the accuracy of the channel estimate by making use of the iterative EM process.

[0010] More particularly the system and method detects symbols of a modulated signal received via a plurality of channels of a wireless communications system. The method updates the channel estimate and detects the received symbol iteratively until the estimates converge. The estimate of the symbol is first determined by maximizing the expectation of the log likelihood function, and then quantized according to the signal constellation.

[0011] The quantized estimate of the symbol is compared with the previous estimate of the symbol to determine if the estimates have converged. Otherwise, the quantized estimate is made as the input for the next iteration, and the estimating, maximizing, quantizing, and comparing are repeated until the estimates converge.

BRIEF DESCRIPTION OF THE DRAWINGS

[0012]FIG. 1 is a block diagram of a wireless communications system according to the invention;

[0013]FIG. 2 is a flow diagram of a general method for detecting transmitted symbols in the system of FIG. 1;

[0014]FIG. 3 is a flow diagram of a simplified method for detecting symbols in the system of FIG. 1;

[0015]FIG. 4 is a flow diagram of a basic method for detecting symbols in a MPSK modulated system;

[0016]FIG. 5 is a graph comparing bit error rates for different channel estimation methods as a function of SNR;

[0017]FIG. 6 is a graph comparing mean square error for different channel estimation methods as a function of SNR; and

[0018]FIG. 7 is a graph comparing iterations for signal detection as a function of SNR.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT Expectation-Maximization

[0019] Our invention uses an expectation-maximization (EM) method to estimate statistical characteristics (parameters) of a wireless communications channel, and to detect signals in the estimated channel.

[0020] The EM method according to the invention includes two iterative steps: an expectation step and a maximization step. The expectation step is performed with respect to unknown underlying channel parameters, using a previous estimate of the parameters, conditioned upon incomplete observations. The maximization step then provides an improved estimate that maximizes the expectation of a log likelihood function defined over complete data, conditioned on the previous estimate and the next estimate. These two steps are iterated until the estimated values converge. See A. P. Dempster, N. M. Laird and D. B. Rubin, “Maximun likelihood estimation from incomplete data,” Journal of the Royal Statistical Society (B), Vol. 39, No. 1, 1977, pp. 1-38, and T. K. Moon, “The expectation-maximization algorithm,” IEEE Signal Processing Magazine, Vol. 13 No. 6, November 1996, pp. 47-60 for a general description of EM-based methods.

[0021] We use EM to estimate channel states and to recover transmitted symbols of an OFDM system over a frequency selective channel with additive white Gaussian noise (AWGN). After each iteration, we obtain a more accurate channel estimate for detecting transmitted symbols.

OFDM System Structure

[0022] Transmitter

[0023]FIG. 1 shows a baseband equivalent representation of an OFDM system 100 that uses the invention. In a transmitter of the OFDM system 100, input binary data symbols X 101 are fed into a serial to parallel (S/P) converter 110 to produce parallel data streams. Each parallel data stream 111 is then modulated (Mod) 120 to corresponding sub-carriers 121 using, for example, MPSK or MQAM modulation techniques. Modulation schemes can vary on the sub-carriers in order to achieve a maximum capacity or a minimum bit error rate (BER) under some constraints. We describe the invention in terms of fixed modulation, e.g., QPSK or 16QAM, on all of the sub-carriers 121. However, it should be understood that the invention could be applied to any modulation scheme.

[0024] The modulated symbols, represented by complex variables X(0), . . . , X(M−1), are transformed by an inverse fast Fourier transform (IFFT) 130. The transformed symbols are denoted as x(0), . . . , x(M−1). In order to avoid inter-symbol interference (ISI), a cyclic prefix (CP) is added 140 in front of each symbol. The CP replicates the end part of the previous IFFT output symbol. The length of the CP is longer than the channel length L. The parallel data are converted (P/S) 150 to a serial data stream 105, which is transmitted over a frequency selective fading channel 102.

[0025] Receiver

[0026] In a receiver of the system 100, received symbols y(0), . . . , y(M−1) 103 corrupted by multipath fading and AWGN, are converted (S/P) 160 to a form Y(0), . . . ,Y(M−1), after the cyclic prefix is discarded 165. A fast Fourier transform (FFT) 170 is applied and the signal is demodulated 180 and converted 190 to serial form as output symbols X 104 that correspond to the input symbols 101.

[0027] Channel Model

[0028] In our channel model, the variables H, h, X, Y, N denote the vectors of frequency-domain CIR, time-domain CIR, transmitted symbol, received symbol and white Gaussian noise, respectively. Our multipath time-invariant fading channel 102 is described by $\begin{matrix} {{y(k)} = {{{\sum\limits_{l = 0}^{L - 1}\quad {h_{l}{x\left( {k - l} \right)}}} + {{n(k)},\quad 0}} \leq k \leq {M - {1,}}}} & (1) \end{matrix}$

[0029] where the time-domain CIR, h_(l)'s (0≦l≦L−1) are independent complex-valued Rayleigh fading random variables, and n(k)'s (0≦k≦M−1) are independent complex-valued Gaussian random variables with a zero mean and a variance σ² for both real and imaginary components. The variable L is the length of the time-domain CIR.

[0030] With the added CP in each OFDM symbol, there is no ISI. We consider only one OFDM symbol with M sub-carriers in analyzing the model of our system. After discarding the cyclic prefix and performing the FFT 170 at the receiver, we obtain the received symbol in the frequency domain as: $\begin{matrix} {{Y(m)} = {\frac{1}{\sqrt{M}}{\sum\limits_{k = 0}^{M - 1}{\quad {y(k)}{^{{- {j2\pi}}\frac{km}{M}}.}}}}} & (2) \end{matrix}$

[0031] Substituting (1) into (2), we have

Y(m)=X(m)H(m)+N(m), 0≦m<M−1,  (3)

[0032] where H(m) is the frequency response of the channel 102 at a sub-carrier m, which can be expressed as $\begin{matrix} {{H(m)} = {{\sum\limits_{l = 0}^{L - 1}\quad {h_{l}^{{- {j2\pi}}\frac{ml}{M}},\quad 0}} \leq m \leq {M - 1.}}} & (4) \end{matrix}$

[0033] A set of the transformed noise variables {N(m), 0≦m≦M−1}, which can be written as $\begin{matrix} {{N(m)} = {{\frac{1}{\sqrt{M}}{\sum\limits_{k = 0}^{M - 1}\quad {{n(k)}^{{- {j2\pi}}\frac{km}{M}},\quad 0}}} \leq m \leq {M - {1,}}}} & (5) \end{matrix}$

[0034] are i.i.d. complex-valued Gaussian variables that have the same distribution as {n(k)}, i.e., with zero mean and variance σ². Note that inter-carrier interference (ICI) is eliminated at the output of the FFT 170 because of the orthogonality between the sub-carriers.

EM-Based Channel Estimation and Signal Detection Method

[0035] Our objective is to detect the transmitted symbol X(m), 0≦m≦M−1 105 from the received or observed symbol Y(m), 0≦m≦M−1 103. In order to reduce the bit error rate caused by uncertainty in the channel 102, we apply our EM-based method to take an average over the unknown CIR, assuming that the probability density function (pdf) of the CIR response is known at the receiver.

[0036] As previously stated, each transmitted symbol X(m) 101 is modulated, for example, by QPSK or 16QAM. We use the notations *, ^(T) and ^(H) to denote the complex conjugate, transpose and complex conjugate transpose (Hermite), respectively, in our analysis.

[0037] Thus, we have h={h₁, . . . , h_(l)}^(T), X=[X(0), . . . , X(M−1)]^(T), Y=[Y(0), . . . , Y(M−1)]^(T), N=[N(0), . . . , N(M −1)]^(T), H=Wh, and W is a M×L matrix: $\begin{matrix} {W = {\begin{bmatrix} 1 & 1 & \ldots & 1 \\ 1 & ^{{- {j2\pi}}\frac{1}{M}} & \ldots & ^{{- {j2\pi}}\frac{({M - 1})}{M}} \\ \vdots & \vdots & \quad & \vdots \\ 1 & ^{{- {j2\pi}}\frac{({M - 1})}{M}} & \ldots & ^{{- {j2\pi}}{({M - 1})}\frac{({L - 1})}{M}} \end{bmatrix}.}} & (6) \end{matrix}$

[0038] We use the notation X=diag(X) to denote a M×M matrix with values X at diagonal terms of the matrix, and zeros elsewhere.

[0039] We assume there is no ISI between two successive OFDM symbols because the cyclic prefix is longer than the channel length L. Thus, we need only to consider one OFDM symbol for our analysis, and therefore omit the symbol index, and express the channel model by

Y=XWh+N.  (7)

[0040] Our EM-based method obtains an estimate of the transmitted symbol X that maximizes likelihood p(Y|X) by averaging the logarithm of a likelihood function p(Y, h|X) over the unknown channel parameters h.

[0041] The “incomplete” and “complete” symbols are (Y) and (Y, h), respectively. At each iterative step p(p=0, 1, 2, . . . ), the EM method for estimating the transmitted symbol X from the received symbol Y includes the following two steps:

[0042] E-step:

Q( X|X _(p))=E{log p( Y, h|X )| Y, X _(p)}, and  (8)

[0043] M-step: $\begin{matrix} {{\underset{\_}{X}}_{p + 1} = {\arg \quad {\max\limits_{\underset{–}{X}}\quad {{Q\left( \underset{\_}{X} \middle| {\underset{\_}{X}}_{p} \right)}.}}}} & (9) \end{matrix}$

[0044] During the (p+1)^(st) iteration, the E-step determines the expected log likelihood function Q(X|X _(p)), given Y and X _(p) which are the estimates obtained during the previous p^(th) iteration.

[0045] During the same iteration, the M-step determines the transmitted symbol X _(p+1) that maximizes Q(X|X _(p)) for the next step, given the previous estimate of the symbol X _(p).

[0046] Equation (8) of the E-step can be rewritten as

Q( X|X _(p))=∫log p( Y, h|X )p( h|Y, X _(p))dh,  (10)

[0047] where the log likelihood function can be expressed as

log p( Y, h|X )=log p( Y|h, X )+log p( h|X ).  (11)

[0048] The conditional pdf p(h|Y, X _(p)) used in equation (10) takes the conditional expectation over the unknown channel parameters h. We assume that the CIR h and X are independent of each other. This is a reasonable assumption because, in general, the CIR does not depend on the transmitted symbol. Thus, for the purpose of maximizing equation (9), the Q function of equation (10) can be replaced by

Q( X|X _(p))=∫log p( Y|h, X )p( h|Y, X _(p))dh.  (12)

[0049] The logarithm of the likelihood function p(h|Y, X _(p)) can be determined by $\begin{matrix} {{p\left( \underset{\_}{h} \middle| {\underset{\_}{Y},\quad {\underset{\_}{X}}_{p}} \right)} = {\frac{{p\left( \underset{\_}{Y} \middle| {\underset{\_}{h},\quad {\underset{\_}{X}}_{p}} \right)}{p\left( \underset{\_}{h} \middle| {\underset{\_}{X}}_{p} \right)}}{p\left( \underset{\_}{Y} \middle| {\underset{\_}{X}}_{p} \right)} = {\frac{{p\left( \underset{\_}{Y} \middle| {\underset{\_}{h},\quad {\underset{\_}{X}}_{p}} \right)}{p\left( \underset{\_}{h} \right)}}{p\left( \underset{\_}{Y} \middle| {\underset{\_}{X}}_{p} \right)},}}} & (13) \end{matrix}$

[0050] where we use the assumption that h and X _(p) are independent of each other. Thus, equation (12) can be reduced to

Q( X|X _(p))=∫log p( Y|h, X )p( Y|h, X _(p))p( h )dh.  (14)

[0051] Because the likelihood p(Y|X _(P)) does not depend on X, it can be discarded in the last expression.

[0052] We now determine the exact expression of Q(X|X _(p)) for a fading channel with AWGN. The conditional pdf's p(Y|h, X) and p(Y|h, X _(p)) take the form

p( Y|h, X )=(2πσ²)^(−M) exp{−∥ Y−XWh∥ ²/2σ²}, and  (15)

p( Y|h, X _(p))=(2πσ²)^(−M) exp {−∥ Y−X _(p) Wh∥ ²/2σ²},  (16)

[0053] where σ² is the variance of both the real and imaginary components of the complex-valued Gaussian noise. The pdf p(h) is given by $\begin{matrix} {{p(h)} = \left. \left( {2\pi} \right)^{- L} \middle| {{d{et}}\sum} \middle| {}_{- 1}{\exp \left\{ {{- \frac{1}{2}}\left( {\underset{\_}{h} - {E\left\{ \underset{\_}{h} \right\}}} \right)^{H}{\sum\limits^{- 1}\quad \left( {\underset{\_}{h} - {E\left\{ \underset{\_}{h} \right\}}} \right)}} \right\},} \right.} & (17) \end{matrix}$

[0054] where E{h} and Σ are the mean and covariance matrix of the CIR h.

[0055] By omitting the normalization constants, equation (12) can be expressed as

Q( X|X _(p))=−∫∥ Y−XWh∥ ² p( h|Y, X _(p))dh,  (18)

[0056] and p(h|Y, X _(p)) can be represented as $\begin{matrix} {{p\left( \underset{\_}{h} \middle| {\underset{\_}{Y}{,\quad}\quad {\underset{\_}{X}}_{p}} \right)} = {K\quad \exp \left\{ {{- \frac{1}{2}}\left( {\underset{\_}{h} - {\hat{\underset{\_}{h}}}_{p}} \right)^{H}{{\hat{\Sigma}}_{p}^{- 1}\left( {\underset{\_}{h} - {\underset{\_}{\hat{h}}}_{p}} \right)}} \right\},}} & (19) \end{matrix}$

[0057] where K is a normalized constant. The values ĥ _(p) and {circumflex over (Σ)}_(p) are called the estimated posterior mean and posterior covariance matrix at the p^(th) iteration, respectively.

[0058] These can be expressed as $\begin{matrix} {{{\hat{\underset{\_}{h}}}_{p} = {{\hat{\sum}}_{p}\left( {{W^{H}X_{p}^{H}{\underset{\_}{Y}/\sigma^{2}}} + {\sum^{- 1}{E\left\{ \underset{\_}{h} \right\}}}} \right)}},{and}} & (20) \\ {{\hat{\sum}}_{p}{= {\left( {{W^{H}X_{p}^{H}X_{p}{W/\sigma^{2}}} + \sum^{- 1}} \right)^{- 1}.}}} & (21) \end{matrix}$

[0059] Maximization of equation (18) is equivalent to minimizing a distance in an integral, i.e., $\begin{matrix} {{\underset{\underset{–}{X}}{argmax}{Q\left( \underset{\_}{X} \middle| {\underset{\_}{X}}_{p} \right)}} = {\underset{\underset{–}{X}}{argmin}\quad E\left\{ {{\underset{\_}{Y} - {{XW}\quad \underset{\_}{h}}}}^{2} \middle| {\underset{\_}{Y}{,\quad}\quad {\underset{\_}{X}}_{p}} \right\}.}} & (22) \end{matrix}$

[0060] This minimization can be further simplified to $\begin{matrix} {\max\limits_{\underset{–}{X}}\quad {E\left\{ {{{\underset{\_}{h}}^{H}F} + {F^{H}\underset{\_}{h}} - {{\underset{\_}{h}}^{H}G\quad \underset{\_}{h}}} \middle| {\underset{\_}{Y},\quad {\underset{\_}{X}}_{p}} \right\},}} & (23) \end{matrix}$

[0061] where

F=W ^(H) X ^(H) Y , and  (24)

G=W ^(H) X ^(H) XW.  (25)

[0062] Because the distribution of the random vector Y, given h and X _(p), is Gaussian with a mean ĥ _(p) and covariance matrix {circumflex over (Σ)}_(p), it is possible to determine

E{h ^(H) F+F ^(H) h|Y, X _(p) }=ĥ _(p) ^(H) F+F ^(H) ĥ _(p).  (26)

[0063] Moreover, all entries of the matrix G are given in terms of the signal energies, i.e., ∥X(0)∥², . . . , ∥X(M−1)∥². Thus, we determine the third part of equation (19) by $\begin{matrix} {{{E\left\{ {\left. {{\underset{\_}{h}}^{H}G\quad \underset{\_}{h}} \middle| \underset{\_}{Y} \right.,{\underset{\_}{X}}_{p}} \right\}} = {\sum\limits_{i = 1}^{M}{C_{i}^{2}{{X(i)}}^{2}}}},} & (27) \end{matrix}$

[0064] where values of a channel update coefficients matrix C_(i) ², 0≦i≦M−1 are real values dependent on ĥ _(p) and {circumflex over (Σ)}_(p). These values are obtained according to the following equation: $\begin{matrix} {C_{i}^{2} = {\sum\limits_{m = 0}^{M - 1}{\sum\limits_{n = 0}^{M - 1}{{^{j\quad 2{\pi {({m - n})}}\frac{}{M}}\left( {{{\hat{\sum}}_{p}\left( {m,n} \right)} + {{{\hat{h}}_{p}^{*}(m)}{{\hat{h}}_{p}(n)}}} \right)}.}}}} & (28) \end{matrix}$

[0065] In order to determine Q(X|X _(p)) completely, we rewrite equation (24) as follows

F=W ^(H) YX*.  (29)

[0066] Thus, maximizing Q(X|X _(p)) is the same as $\begin{matrix} \underset{\underset{\_}{x}}{\max \left\{ {{{\hat{\underset{\_}{h}}}_{p}^{H}W^{H}Y\quad {\underset{\_}{X}}^{*}} + {{\underset{\_}{X}}^{T}Y\quad W\quad {\hat{\underset{\_}{h}}}_{p}} - {\sum\limits_{i = 1}^{M}{C_{i}^{2}{{X(i)}}^{2}}}} \right\}} & (30) \end{matrix}$

[0067] Next, we maximize equation (30), in terms of the transmitted symbol X, by solving $\begin{matrix} {{{\underset{\_}{\overset{\sim}{X}}}_{p + 1} = {{a\quad r\quad g\quad \underset{\underset{\_}{X}}{\max \quad}{Q\left( \underset{\_}{X} \middle| {\underset{\_}{X}}_{p} \right)}} = {C^{- 1}\left( {{{\hat{\underset{-}{h}}}_{p}}^{H}W^{H}Y} \right)}^{T}}},} & {(31)\quad} \end{matrix}$

[0068] where C=diag(C₀, . . . , C_(M−1)). After quantizing {tilde over (X)} _(p+1), we obtain the next (p+1)^(st)estimate

X _(p+1)=Quantization( {tilde over (X)} _(P+1)).  (32)

[0069] At each iteration, the updated estimate of CIR ĥ _(p) is obtained automatically as a by-product. The next estimate of the symbol is then compared with the previous estimate of the symbol to determine if the estimates have converged. On convergence, estimation of the transmitted symbol is complete, otherwise reiterate.

General Method EM-Based Channel Estimation and Signal Detection

[0070]FIG. 2 shows the general EM-based iterative signal detection method according to the invention.

[0071] For step p=0, an initial estimate of the transmitted symbol, X ₀, is obtained 200 for the received signal Y 201 by using the received signal Y 201 and the channel estimate 202 from a pilot symbol inserted in an OFDM frame, or from the previous estimated channel information under the assumption that the channel varies slowly.

[0072] Then for each iteration p, first determine 210 a posterior covariance matrix Σ_(p) of the channel using the FFT matrix W, the previous p^(th) symbol estimate X _(p), which is X ₀ initially, the channel convergence matrix Σ⁻¹, and the Gaussian noise variance σ² as:

{circumflex over (Σ)}_(p)=(W ^(H) X _(p) ^(H) X _(p) W/σ ²+Σ⁻¹)⁻¹.

[0073] In step 220, determine the posterior mean ĥ _(p) of the channel impulse response

ĥ _(p)={circumflex over (Σ)}_(p)(W ^(H) X _(p) ^(H) Y/σ ²+Σ⁻¹ E{h}),

[0074] using the received data, i.e. the observed symbol Y.

[0075] In step 230, determine the channel update coefficients matrix C for recovering estimated symbols by evaluating $C_{i}^{2} = {\sum\limits_{m = 0}^{M - 1}{\sum\limits_{n = 0}^{M - 1}{{^{j\quad 2\quad \pi \frac{{({m - n})}}{M}}\left( {{{\hat{\sum}}_{p}\left( {m,n} \right)} + {{{\hat{h}}_{p}^{*}(m)}{{\hat{h}}_{p}(n)}}} \right)}.}}}$

[0076] Then, in step 240, determine the estimate for the (p+1)^(st) iteration {tilde over (X)} _(p+1) by applying the coefficient matrix C to the posterior mean ĥ _(p) of the CIR, the FFT matrix W, and the received symbol Y according to

{tilde over (X)} _(p+1) =C ⁻¹( {tilde over (h)} _(p) ^(H) W ^(H) Y)^(T).

[0077] Step 250 quantizes the next estimate of the symbol according to the signal constellation

X _(p+1)=Quantization( {tilde over (X)} _(p+1)).

[0078] In step 260, compare the next (p+1)^(st) estimate {tilde over (X)} _(p+1) with the previous p_(st) estimate X_(p) . If an absolute difference between the estimates is smaller than a predetermined threshold,

|X _(p+1) −X _(p) |<T,

[0079] the estimate of the transmitted symbol has converged 270, and the iterations stop. Otherwise reiterate beginning at step 210 until X _(p+1)≈X _(p), that is, until result of the next iteration is substantially equal to the result of the previous iteration.

Simplified EM Method

[0080] Thus far, we have assumed that the length of the channel L, is known. In a real situation, however, L is generally not known. In such a case, we need to perform channel-order detection together with parameter estimation.

[0081] Alternatively, we can use some upper bound for L, which may be easier to obtain than trying to estimate an exact value of L. For the OFDM system 100, we can set L equal to the length of the cyclic prefix because, as we stated before, the cyclic prefix is at least longer than the channel delay spread in order to eliminate ISI.

[0082] In addition, the mean E{h} and covariance matrix Σ of the time-domain CIR also need to be known. In the practical situation, these channel statistics are difficult to obtain.

[0083] As is known from the general convergence property of the EM method, there is no guarantee that the iterative method converges to a global maximum. For a likelihood function with multiple local maxima, the convergence point may be any one of these local maxima, depending on the initial estimated symbol X ₀.

[0084] Therefore, we use pilot symbols distributed at certain locations in the OFDM time-frequency lattice to obtain appropriate initial values of the CIR and X ₀ which are most likely to lead us to the true maximum.

[0085] So far, we have assumed that the channel statistics, i.e., the mean and covariance matrix, are known at the receiver. However, as we stated above, the channel statistics are difficult to obtain in practical situations. Fortunately, when we examine equations (26) and (27), we find that when the variance σ² is small, i.e., the SNR is high, the contribution of Σ is so small that we can eliminate it and still obtain a similar performance.

[0086] Therefore, as shown in FIG. 3, we can simplify the general EM-based iterative signal detection method as follows.

[0087] As before in the initial step p=0, an initial estimate of the transmitted symbol, X ₀, is determined 300. The initial estimate can be obtained by using the received signal Y and the channel estimate from a pilot symbol inserted in the OFDM frame, or from the some previous estimated channel information under the assumption that the channel varies slowly.

[0088] Then for each iteration p, first determine 310 a posterior covariance matrix Σ_(p) of the channel using the FFT matrix W, the previous p^(th) symbol estimate X_(p), which is X ₀ initially, and the Gaussian noise variance σ² as:

{circumflex over (Σ)}_(p)=(W ^(H) X _(p) ^(H) X _(p) W/σ ²)⁻¹.

[0089] Note that in this simplified method the channel covariance matrix Σ⁻¹ is not used.

[0090] In step 320, determine the posterior mean ĥ _(p) of the channel impulse response

ĥ _(p)={circumflex over (Σ)}_(p)(W ^(H) X _(p) ^(H) Y/σ ²),

[0091] using the received data, i.e., the observed symbol Y. Note that in the simplified method the CIR E{h} is also not used.

[0092] In step 330, determine the channel update coefficients matrix C for recovering estimated symbols by evaluating $C_{i}^{2} = {\sum\limits_{m = 0}^{M - 1}{\sum\limits_{n = 0}^{M - 1}{{^{j\quad 2\quad \pi \frac{{({m - n})}}{M}}\left( {{{\hat{\sum}}_{p}\left( {m,n} \right)} + {{{\hat{h}}_{p}^{*}(m)}{{\hat{h}}_{p}(n)}}} \right)}.}}}$

[0093] Then, in step 340, determine the estimate of the transmitted symbol {tilde over (X)} _(p+1) for the (p+1)^(st) iteration by applying the coefficient matrix C to the posterior mean ĥ _(p) of the CIR, the FFT matrix W, and the received signal Y according to

{tilde over (X)} _(p+1) =C ⁻¹({tilde over (h)} _(p) ^(H) W ^(H) Y)^(T).

[0094] Step 350 quantizes the next estimate of the transmitted symbol according to the signal constellation

X _(p+1)=Quantization( {tilde over (X)} _(p+1)).

[0095] In step 360, compare the next (p+1)^(st) estimate {tilde over (X)} _(p+1) with the previous p^(st) estimate X_(p) . If an absolute difference between the estimates is smaller than a predetermined threshold,

|X _(p+1) −X _(p) |<T,

[0096] the estimate of the transmitted symbol has converged 370, and the iterations stop. Otherwise reiterate beginning at step 310 until X _(p+1)≈X _(p), that is, result of the next iteration is substantially equal to the result of the previous iteration.

Basic EM-Based Method for MPSK Modulated Signal

[0097] For a MPSK modulated signal, i.e., ∥X(m)∥²=A for all m, where A is a positive constant equivalent to the signal energy, the estimation can be performed by using only phase information.

[0098] Thus, as shown in FIG. 4, we can further simplify the above method as follows.

[0099] As before in the initial step p=0, an initial estimate of the transmitted symbol, X ₀, is determined 410. The initial estimate can be obtained by using the received signal Y and the channel estimate from a pilot symbol inserted in the OFDM frame, or from the previous estimated channel information under the assumption that the channel varies slowly.

[0100] Then for each iteration p, determine the estimate for the (p+1)^(st) iteration {tilde over (X)} _(p+1) by using only the FFT matrix W, the received signal Y, and the previous p^(th) symbol estimate X_(p) according to

{tilde over (X)} _(p+1)=( YX _(p) WW ^(H) Y )^(T).

[0101] Step 430 quantizes the next estimate of the symbol according to the signal constellation

X _(p+1)=Quantization( {tilde over (X)} _(p+1)).

[0102] In step 440, compare the next (p+1)^(st) estimate {tilde over (X)} _(p+1) with the previous p^(st) estimate X_(p) . If the absolute difference between the estimates is smaller than a predetermined threshold,

|X _(p+1) −X _(p) |<T,

[0103] the estimate of the transmitted symbol has converged 450, and the iterations stop. Otherwise reiterate beginning at step 410 until X _(p+1)≈X _(p), that is, result of the next iteration is substantially equal to the result of the previous iteration.

[0104] In this basic form, we need only to perform addition and multiplication operations, and WW^(H) can be determined ahead of time.

Effect of the Invention

[0105] We can construct an OFDM model system to demonstrate the validity and effectiveness of the EM-based signal estimation method according to the invention. The entire channel bandwidth of 400 kHz is divided into 64 subcarriers.

[0106] The symbol duration of each orthogonal subcarrier is 160 μs. An additional 20 μs cyclic prefix added to provide protection from ISI and ICI due to channel delay spread. Thus, the total OFDM frame length is T_(s)=180 μs, and the subcarrier symbol rate is 5.56 kilobaud.

[0107] In this model of the system, the modulation scheme is QPSK. One OFDM frame out of eight OFDM frames includes pilot symbols, and eight pilot symbols are inserted into such a frame. The system can transmit data at 700 kbits per second. The maximum Doppler frequencies are 55.6 Hz and 277.8 Hz, which make f_(d)T_(s) 0.01 and 0.05, respectively. The channel impulse response is $\begin{matrix} {{{h(n)} = {\frac{1}{C}{\sum\limits_{k = 0}^{7}{e^{- \frac{k}{2}}\alpha_{k}{\delta \left( {n - k} \right)}}}}},} & (33) \end{matrix}$

[0108] where $C = \sqrt{\sum\limits_{k = 0}^{7}e^{- k}}$

[0109] is a normalization constant and α_(k), 0≦k≦7 are independent complex-valued Rayleigh distributed random variables with unit energy, which vary in time according to the Doppler frequency. This is a conventional exponential decay multipath channel model.

[0110]FIG. 5 shows the BER performance of EM-based OFDM signal estimation method with the above two different Doppler frequencies, and FIG. 6 shows the corresponding MSE (Mean Square Error) of the estimate. In both graphs the performance is shown as a function of the SNR E_(b)/N₀.

[0111] In prior art channel estimation methods, for those OFDM frames containing pilot symbols; the estimate of CIR is obtained by using these eight equally spaced pilot symbols. For those OFDM frames without pilot symbols, the conventional estimation of CIR comes from the channel estimate of the previous OFDM frame.

[0112] In the EM-based method according to the invention, the channel estimate of the previous symbol is used for obtaining the initial value for the next symbol when there are no pilot symbols in the frame.

[0113] From FIGS. 5 and 6, it can be seen that our EM-based method achieves substantially the same performance as the ideal case in terms of BER, where the if channel characteristics are completely known when f_(d)T_(s)=0.01, i.e., the channel characteristics do not change very fast. Furthermore, the MSE of our EM-based method converges to the Cramer-Rao Lower Bound (CRLB) when E_(b)/N₀ becomes large.

[0114] The performance gain from the initial estimate is considerably large, especially when f_(d)T_(s)=0.05. In addition, the performance degradation is substantially small when we use the simplified EM-based method that does not use the channel statistics. Thus, our method is robust.

[0115] In FIG. 7, we show the number of iterations required for the estimates X _(p) to converge versus E_(b)/N₀ at the receiver input. We see that the number of necessary iterations is relatively small in a broad range of E_(b)/N₀, whether the channel varies slowly, or not at all. Fast channel variation causes only a very small increase in the number of iterations required to converge. This demonstrates that our method can achieve a substantial performance improvement with only a modest increase in the computational complexity.

[0116] We have described a novel EM-based channel estimation and signal detection method, its simplified form for OFDM systems, and a basic form for MPSK systems. The method is efficient because the number of iterations needed to converge is small, e.g., three or less, and the complexity of the operations required in each iteration is low. By making use of pilot symbols to obtain the initial estimate, the method can achieve a near-optimal estimate after a small number of iterations when the channel changes slowly. The MSE of the channel estimation approaches CRLB when E_(b)/N₀≧10 dB.

[0117] The method according to the invention can reduce the number of pilot symbols inserted in the time-frequency grid of an OFDM system over slow time variation channels. Thus, the spectral efficiency is improved. The corresponding simplified method does not need any knowledge of the channel statistics without degrading performance.

[0118] The method according to the invention can also improve channel estimation accuracy obtained from any other method by iterative steps using that channel estimate as the initial estimate. Our method can also be used to estimate the channels in multi-input/multi-output (MIMO) OFDM systems.

[0119] Although the invention has been described by way of examples of preferred embodiments, it is to be understood that various other adaptations and modifications may be made within the spirit and scope of the invention. Therefore, it is the object of the appended claims to cover all such variations and modifications as come within the true spirit and scope of the invention. 

We claim:
 1. A method for detecting symbols of a modulated signal received via channels of a wireless communications system, comprising: obtaining an initial estimate of a symbol transmitted via the channels from a previous channel estimate and a received symbol; updating the channel estimate; optimizing the next estimate of the symbol which maximizes an expectation of a log likelihood function; quantizing the next estimate of the symbol; comparing the quantized next estimate of the symbol with the previous estimate of the symbol to determine if the previous estimate of the symbol and the quantized next estimate of the symbol have converged; and otherwise repeating the updating, the optimizing, the quantizing, and the comparing until the previous estimate of the symbol and the next estimate of the symbol converge.
 2. The method of claim 1 wherein the signal is a MPSK modulated signal having a positive constant equivalent to an energy of the modulated signal, and using only phase information during the updating.
 3. The method of claim 1 wherein the comparing further comprises: subtracting the previous estimate of the symbol from the next estimate of the symbol to obtain a difference; and determining that the previous estimate and the next estimate have converged when an absolute value of the difference is less than a predetermined threshold.
 4. The method of claim 1 further comprising: obtaining the initial estimate of the symbol from the channel estimate of a pilot symbol received via the channels.
 5. The method of claim 1 further comprising: obtaining the initial estimate of the symbol from the channel estimate of a previously received symbol.
 6. The method of claim 1 wherein the optimizing further comprises: using only a fast Fourier transform matrix, the received signal, and the previous channel estimate.
 7. The method of claim 1 wherein the estimate of the symbol is quantized according to the signal constellation.
 8. The method of claim 1 further comprising: determining a posterior covariance matrix Σ_(p) of the channels using a FFT matrix W, the previous estimate of the symbol, X_(p), the received symbol Y, and a Gaussian noise variance σ² as {circumflex over (Σ)}_(p)=(W^(H)X_(p) ^(H)X_(p)W/σ²)⁻¹, determining a posterior mean h _(p) of a channel impulse response as ĥ _(p)={circumflex over (Σ)}_(p)(W^(H)X_(p) ^(H)Y/σ²); determining a channel update coefficients matrix C for recovering the next estimate of the symbol; and applying the coefficient matrix C to the posterior mean {circumflex over (h)}_(p), the FFT matrix W, and the received signal Y according to {tilde over (X)}_(p+1)=C⁻¹(ĥ _(p) ^(H)W^(H)Y)^(T) to optimize the next estimate of the symbol X_(p+1).
 9. The method of claim 1 further comprising: determining a posterior covariance matrix Σ_(p) of the channels using a FFT matrix W, the previous estimate of the symbol X_(p), a channel convergence matrix Σ⁻¹, and a Gaussian noise variance σ² as {circumflex over (Σ)}_(p)=(W^(H)X_(p) ^(H)X_(p)W/σ²+Σ⁻¹)⁻¹; determining a posterior mean ĥ _(p) of a channel impulse response as ĥ _(p)={circumflex over (Σ)}_(p)(W^(H)X_(p) ^(H) Y/σ²+Σ⁻¹E{h}), where the received symbol is Y, and E{h} is a channel impulse response; determining a channel update coefficients matrix C for recovering the next estimate of the symbol; and applying the coefficient matrix C to the posterior mean ĥ _(p), the FFT matrix W, and the received signal Y according to {tilde over (X)}_(p+1)=C⁻¹(ĥ _(p) ^(H)W^(H)Y)^(T) to optimize the next estimate of the symbol X_(p+1).
 10. The method of claim 9 further comprising: averaging a logarithm of a likelihood function over unknown parameters h of the channels during the maximizing.
 11. The method of claim 1 further comprising: modulating the signal using orthogonal frequency division multiplexing.
 12. A system for detecting symbols of a modulated signal received via a plurality of channel of a wireless communications system, comprising: means for obtaining an initial estimate of a symbol transmitted via the channels; means for updating the channel estimate; means for optimizing a next estimate of the symbol which maximizes an expectation of a log likelihood function; means for quantizing the next estimate of the symbol; means for comparing the quantized next estimate of the symbol with the previous estimate of the symbol to determine if the previous estimate and the quantized next estimate have converged; and otherwise means for making the quantized next estimate of the symbol an input for a next iteration; and means for repeating the updating, the optimizing, the quantizing, and comparing until the previous estimate of the symbol and the next estimate of the symbol converge.
 13. The system of claim 12 wherein the signal is a MPSK modulated signal having a positive constant equivalent to an energy of the modulated signal, and using only phase information during the updating.
 14. The system of claim 12 further comprising: means for subtracting the previous estimate of the symbol from the next estimate of the symbol to obtain a difference; and means for determining that the previous estimate and the next estimate have converged when an absolute value of the difference is less than a predetermined threshold.
 15. The system of claim 12 wherein the initial estimate of the symbol is obtained from a pilot symbol received via the channels.
 16. The system of claim 12 wherein the initial estimate of the symbol is obtained from a channel estimate from the previous symbol.
 17. The system of claim 12 further comprising: means for determining a posterior covariance matrix Σ_(p) of the channels using a FFT matrix W, the estimate of the previous symbol X_(p), the received symbol Y, and a Gaussian noise variance σ² as {circumflex over (Σ)}_(p)=(W^(H)X_(p) ^(H)X_(p)W/σ²)⁻¹, means for determining a posterior mean ĥ _(p) of the channel impulse response as ĥ _(p)={circumflex over (Σ)}_(p)(W^(H)X_(p) ^(H)Y/σ²); means for determining a channel update coefficients matrix C for recovering the estimate of the next symbol; and means for applying the coefficient matrix C to the posterior mean {circumflex over (h)}_(p), the FFT matrix W, and the received signal Y according to {tilde over (X)} _(p+1)=C⁻¹(ĥ _(p) ^(H)W^(H)Y)^(T) to maximize the estimate of the next symbol X_(p+1).
 18. The system of claim 12 further comprising: means for determining a posterior covariance matrix Σ_(p) of the channels using the FFT matrix W, the estimate of the previous symbol X_(p), a channels convergence matrix Σ⁻¹, and a Gaussian noise variance σ² as {circumflex over (Σ)}_(p)=(W^(H)X_(p) ^(H)X_(p)W/σ²+Σ⁻¹)⁻¹; means for determining a posterior mean ĥ _(p) of the channels impulse response as ĥ _(p)={circumflex over (Σ)}_(p)(W^(H)X_(p) ^(H) Y/σ²+Σ⁻¹E{h}), the received symbol Y and E{h} is a channel impulse response; means for determining a channel update coefficients matrix C for recovering the estimate of the next symbol; and means for applying the coefficient matrix C to the posterior mean ĥ _(p), the FFT matrix W, and the received signal Y according to {tilde over (X)} _(p+1)=C⁻¹(ĥ _(p) ^(H)W^(H)Y)^(T) to maximize the estimate of the next symbol X_(p+1).
 19. The system of claim 12 wherein a logarithm of a likelihood function over unknown parameters h of the channels is averaged during the maximizing.
 20. The system of claim 12 wherein the signal is modulated using orthogonal frequency division multiplexing. 